0
EUR
00,00*
Warenkorb EUR 00,00 *
    Erweiterte Suche
    Konto anlegen

    Trefferliste "Formal Specifications" - alle Bücher

    Ihre Suche nach "Formal Specifications" (Bücher) ergab 4 Treffer.

    Ansicht:

    Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification

    The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 81,04

    AI Verification

    This LNCS volume constitutes the proceedings of the First International Symposium on AI Verification, SAIV 2024, in Montreal, QC, Canada, during July 2024.The scope of the topics was broadly categorized i…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 142,37

    Rebeca for Actor Analysis in Action

    This Festschrift volume, dedicated to Marjan Sirjani on the occasion of her 60th birthday, includes refereed papers by leading researchers.Marjan Sirjani received her PhD in Computer Engineering from Shar…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 72,27

    Software Engineering and Formal Methods

    This book constitutes the refereed proceedings of the 22nd International Conference on Software Engineering and Formal Methods, SEFM 2024, held in Aveiro, Portugal, during November 6¿8, 2024.The 23 full p…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 76,66
    Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.